EventsWithState $\subseteq\rho$ EventsWithOrder